[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 156

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 172 13 13 154 175 13 154

N.S.

1 1.00 11.47 0.87 0.87 10.27 11.67 0.87 10.27

time (sec)

N/A 0.151 0.008 0.612 0.187 0.252 0.052 0.291 0.105

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 182 15 156 156 182 15 156

N.S.

1 1.00 11.38 0.94 9.75 9.75 11.38 0.94 9.75

time (sec)

N/A 0.149 0.006 0.655 0.192 0.252 0.046 0.308 0.111

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 186 15 156 156 185 15 156

N.S.

1 1.00 11.62 0.94 9.75 9.75 11.56 0.94 9.75

time (sec)

N/A 0.157 0.004 0.703 0.191 0.253 0.048 0.294 0.108

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 230 229 189 0 189 229

N.S.

1 1.00 1.00 10.95 10.90 9.00 0.00 9.00 10.90

time (sec)

N/A 0.160 0.012 0.015 0.201 0.269 0.000 0.291 9.130

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 10 12 11 11 10 12 11

N.S.

1 1.00 0.91 1.09 1.00 1.00 0.91 1.09 1.00

time (sec)

N/A 0.138 0.004 0.898 0.194 0.287 0.077 0.293 8.633

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 15 15 14 16 15

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 0.94 0.88

time (sec)

N/A 0.159 0.006 0.033 0.187 0.266 0.162 0.623 8.592

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 15 15 14 16 15

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 0.94 0.88

time (sec)

N/A 0.168 0.006 0.039 0.189 0.264 0.215 0.382 0.032

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 33 24 23 19 0 19 121

N.S.

1 1.00 1.74 1.26 1.21 1.00 0.00 1.00 6.37

time (sec)

N/A 0.174 0.055 0.393 0.226 0.286 0.000 0.304 8.893

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 15 15 14 350 359 14 358

N.S.

1 1.00 0.94 0.94 0.88 21.88 22.44 0.88 22.38

time (sec)

N/A 0.138 0.010 0.886 0.185 0.279 2.546 0.341 2.374

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 17 352 352 360 16 360

N.S.

1 1.00 1.00 0.94 19.56 19.56 20.00 0.89 20.00

time (sec)

N/A 0.160 0.012 0.431 0.284 0.302 4.194 1.463 15.833

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 17 352 352 360 16 360

N.S.

1 1.00 1.00 0.94 19.56 19.56 20.00 0.89 20.00

time (sec)

N/A 0.165 0.010 0.222 0.275 0.285 14.853 2.294 18.831

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 22 22 416 394 0 21 496

N.S.

1 1.00 0.96 0.96 18.09 17.13 0.00 0.91 21.57

time (sec)

N/A 0.172 0.062 0.016 0.540 0.345 0.000 0.305 22.399

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 12 14 13 13 10 14 13

N.S.

1 1.00 0.92 1.08 1.00 1.00 0.77 1.08 1.00

time (sec)

N/A 0.136 0.004 0.889 0.191 0.275 0.091 0.272 0.026

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 14 18 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.74 0.95 0.89

time (sec)

N/A 0.166 0.006 0.034 0.200 0.279 0.152 0.576 8.565

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 14 18 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.74 0.95 0.89

time (sec)

N/A 0.169 0.006 0.041 0.186 0.270 0.218 0.350 0.034

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 34 26 25 21 0 21 199

N.S.

1 1.00 1.62 1.24 1.19 1.00 0.00 1.00 9.48

time (sec)

N/A 0.175 0.054 0.391 0.221 0.291 0.000 0.313 8.928

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 16 17 16 354 359 16 358

N.S.

1 1.00 0.89 0.94 0.89 19.67 19.94 0.89 19.89

time (sec)

N/A 0.141 0.011 0.856 0.190 0.290 2.746 0.331 10.652

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 356 356 360 18 360

N.S.

1 1.00 1.00 0.95 17.80 17.80 18.00 0.90 18.00

time (sec)

N/A 0.163 0.014 0.424 0.291 0.296 4.361 1.393 15.096

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 356 356 360 18 360

N.S.

1 1.00 1.00 0.95 17.80 17.80 18.00 0.90 18.00

time (sec)

N/A 0.172 0.013 0.211 0.279 0.296 14.848 2.260 17.239

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 23 24 419 397 0 23 496

N.S.

1 1.00 0.92 0.96 16.76 15.88 0.00 0.92 19.84

time (sec)

N/A 0.178 0.056 0.016 0.556 0.307 0.000 0.307 22.029

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 9 9 10 10 8 11 8

N.S.

1 1.00 0.90 0.90 1.00 1.00 0.80 1.10 0.80

time (sec)

N/A 0.134 0.006 0.632 0.188 0.294 0.060 0.296 8.581

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 17 15 14 17 13 12 15 13

N.S.

1 1.06 0.94 0.88 1.06 0.81 0.75 0.94 0.81

time (sec)

N/A 0.161 0.005 0.600 0.222 0.268 0.084 0.308 0.037

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 17 15 14 17 13 12 15 13

N.S.

1 1.06 0.94 0.88 1.06 0.81 0.75 0.94 0.81

time (sec)

N/A 0.163 0.007 0.638 0.233 0.258 0.094 0.295 8.653

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 17 19 18 47 17 39 17 28

N.S.

1 1.13 1.27 1.20 3.13 1.13 2.60 1.13 1.87

time (sec)

N/A 0.171 0.009 0.770 0.209 0.258 7.081 0.295 8.678

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 14 13 13 81 87 13 12

N.S.

1 1.00 0.93 0.87 0.87 5.40 5.80 0.87 0.80

time (sec)

N/A 0.139 0.014 0.676 0.184 0.287 0.451 0.292 9.900

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 81 81 87 15 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 0.88

time (sec)

N/A 0.143 0.020 0.679 0.199 0.286 0.661 0.397 1.366

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 81 81 87 15 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 0.88

time (sec)

N/A 0.155 0.025 0.710 0.199 0.272 0.928 0.300 11.460

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 203 612 105 0 20 107

N.S.

1 1.00 1.00 9.67 29.14 5.00 0.00 0.95 5.10

time (sec)

N/A 0.158 0.009 69.556 0.232 0.335 0.000 0.313 8.772

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 19 21 20 28 104 20 39

N.S.

1 1.00 0.95 1.05 1.00 1.40 5.20 1.00 1.95

time (sec)

N/A 0.147 0.006 0.880 0.180 0.293 29.582 0.311 8.813

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 24 33 33 201 23 49

N.S.

1 1.00 1.00 0.96 1.32 1.32 8.04 0.92 1.96

time (sec)

N/A 0.167 0.046 0.132 0.222 0.325 104.634 0.284 8.763

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 24 33 33 0 23 49

N.S.

1 1.00 1.00 0.96 1.32 1.32 0.00 0.92 1.96

time (sec)

N/A 0.175 0.071 0.259 0.224 0.322 0.000 0.300 8.737

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 40 39 38 0 27 56

N.S.

1 1.00 0.96 1.48 1.44 1.41 0.00 1.00 2.07

time (sec)

N/A 0.180 0.112 36.713 0.264 0.301 0.000 0.329 8.978

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 21 23 22 32 104 22 42

N.S.

1 1.00 0.95 1.05 1.00 1.45 4.73 1.00 1.91

time (sec)

N/A 0.144 0.052 0.901 0.185 0.271 29.298 0.336 8.698

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 37 37 201 25 52

N.S.

1 1.00 1.00 0.96 1.37 1.37 7.44 0.93 1.93

time (sec)

N/A 0.167 0.038 0.140 0.221 0.278 107.588 0.299 8.611

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 37 37 0 25 52

N.S.

1 1.00 1.00 0.96 1.37 1.37 0.00 0.93 1.93

time (sec)

N/A 0.172 0.068 0.261 0.228 0.262 0.000 0.281 8.584

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 28 45 43 42 0 29 59

N.S.

1 1.00 0.97 1.55 1.48 1.45 0.00 1.00 2.03

time (sec)

N/A 0.184 0.092 35.813 0.323 0.294 0.000 0.342 8.888

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 17 20 19 26 46 19 23

N.S.

1 1.00 0.89 1.05 1.00 1.37 2.42 1.00 1.21

time (sec)

N/A 0.151 0.011 0.674 0.185 0.249 0.306 0.295 8.562

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 97 31 35 31 75 22 31

N.S.

1 1.00 4.04 1.29 1.46 1.29 3.12 0.92 1.29

time (sec)

N/A 0.170 0.064 0.714 0.224 0.250 8.591 0.285 8.609

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 97 31 35 31 0 22 31

N.S.

1 1.00 4.04 1.29 1.46 1.29 0.00 0.92 1.29

time (sec)

N/A 0.174 0.060 0.761 0.231 0.262 0.000 0.283 8.582

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A B A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

26 26 111 106 40 36 100 26 34

N.S.

1 1.00 4.27 4.08 1.54 1.38 3.85 1.00 1.31

time (sec)

N/A 0.185 0.110 29.093 0.254 0.280 11.068 0.328 8.643

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

196 196 158 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.442 0.651 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

374 360 5363 0 0 0 0 0 0

N.S.

1 0.96 14.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.985 7.233 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

816 816 20515 0 0 0 0 0 0

N.S.

1 1.00 25.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.483 8.441 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 36 34 33 119 0 31

N.S.

1 1.00 1.00 0.77 0.72 0.70 2.53 0.00 0.66

time (sec)

N/A 0.233 0.090 0.030 0.190 0.258 2.605 0.000 8.818

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-2) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

245 245 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-2) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

210 219 0 0 0 0 0 0 0

N.S.

1 1.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.428 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-2) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

206 214 0 0 0 0 0 0 0

N.S.

1 1.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.388 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

194 203 0 0 0 0 0 0 0

N.S.

1 1.05 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.366 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

263 258 218 0 0 0 0 0 0

N.S.

1 0.98 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.677 0.576 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-2) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

212 221 0 0 0 0 0 0 0

N.S.

1 1.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.438 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

210 220 0 0 0 0 0 0 0

N.S.

1 1.05 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.428 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

498 498 391 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.806 1.188 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

323 323 273 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.519 0.825 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 158 181 0 0 0 0 0 0

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.307 0.339 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-2) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 31 33 33 0 33 33

N.S.

1 1.00 1.06 1.00 1.06 1.06 0.00 1.06 1.06

time (sec)

N/A 0.176 1.119 0.124 0.233 0.280 0.000 0.350 8.701

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-2) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 31 33 46 0 33 33

N.S.

1 1.00 1.06 1.00 1.06 1.48 0.00 1.06 1.06

time (sec)

N/A 0.176 0.927 0.142 0.239 0.311 0.000 0.489 9.018

[prev] [prev-tail] [front] [up]